Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
941	Continuous Time in a SAT-based Planner Ji-Ae Shin and Ernest Davis∗ Courant Institute New York University { jiae \| davise }@cs.nyu.edu Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2006-05-25 12:15:43 Logic in computer science Software engineering Constraint programming Fluent Computer programming Automated planning and scheduling Artificial intelligence Planning Domain Definition Language
942	Numeric Bounds Analysis with Conflict-Driven Learning? Vijay D’Silva?? , Leopold Haller, Daniel Kroening, and Michael Tautschnig Computer Science Department, University of Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-07-25 13:39:19 Applied mathematics Electronic design automation Formal methods Logic in computer science NP-complete problems Valuation Boolean satisfiability problem Local consistency Abstract interpretation Theoretical computer science Constraint programming Mathematics
943	Automatic Binding-related Error Diagnosis in Logic Programs PaweÃl Pietrzak1 and Manuel V. Hermenegildo1,2 1 School of Computer Science, Technical University of Madrid (UPM) Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2007-11-07 05:34:04 Logic programming Software engineering Assertion Debugging Abstraction SLD resolution Abstract interpretation Tree Logic in computer science Computer programming Theoretical computer science
944	Transforming Situation Calculus Action Theories for Optimised Reasoning Christopher Ewin Adrian R. Pearce Stavros Vassos Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2014-03-04 23:18:30 Logic programming Metalogic Knowledge representation Logic in computer science Situation calculus Frame problem Interpretation Fluent Constructible universe Mathematical logic Logic Model theory
945	Chapter 4: Computability Algorithmic Adventures From Knowledge to Magic Book by Juraj Hromkoviˇ Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2011-10-24 15:09:33 Computability theory Mathematical logic Theory of computation Logic in computer science Proof theory Undecidable problem Decision problem Algorithm Computability Theoretical computer science Mathematics Applied mathematics
946	Beyond Proof-of-compliance: Safety and Availability Analysis in Trust Management Ninghui Li Department of Computer Science Stanford University Gates 4B Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2003-03-09 23:00:58 Datalog Mathematics Logic XTR Forcing Finitary relation
947	A Time-Travel Tool for Monitoring Environmental Phenomena by Remote Sensing Techniques Gloria Bordogna1, Paola Carrara2, Anna Rampini2, Stefano Spaccapietra3 1 IDPA-CNR, c/o POINT, Via Pasubio 3, 24044 Dalmine (Bg), Ita Add to Reading List Source URL: itcnt05.itc.nl Language: English - Date: 2005-02-27 17:00:00 Artificial intelligence Logic in computer science Fuzzy logic Satellites Cartography Satellite imagery Remote sensing Fuzzy control system Geographic information system Science Logic Mathematics
948	The Use of Fuzzy Evaluation in a G.I.S. Approach to the Land Suitability Giuseppe Las Casas, Beniamino Murgante DAPIT, Università degli Studi della Basilicata, Via S. Caterina, 85100 Potenza, Italia E-mail address: murg Add to Reading List Source URL: itcnt05.itc.nl Language: English - Date: 2005-02-27 17:00:00 Human geography Artificial intelligence Spatial data analysis Fuzzy logic Logic in computer science Spatial analysis Fuzzy clustering Geographic information system Membership function Statistics Urban studies and planning Logic
949	In Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence, Montreal, Canada, August 1995 Exploiting system hierarchy to compute repair plans in probabilistic model-based diagnosis Sampath Sriniv Add to Reading List Source URL: xenon.stanford.edu Language: English - Date: 2007-05-21 03:39:48 Algorithm Mathematical logic Theoretical computer science
950	A Categorical Programming Language Tatsuya Hagino Doctor of Philosophy University of Edinburgh Add to Reading List Source URL: synrc.com Language: English - Date: 2009-05-27 23:02:29 Mathematics Type theory Functional programming Category theory Logic in computer science Denotational semantics Initial algebra Semantics of programming languages F-algebra Software engineering Theoretical computer science Data types